Safety Evaluation on Real Time Operating Systems for Safety-Critical Systems
نویسندگان
چکیده
منابع مشابه
Safety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملDevelopment of Safety-Critical Real-Time Systems
This paper presents an approach to the development of safety-critical real-time systems linking from the Requirements Language developed in the ESPRIT Project ProCoS to the Temporal Language of Transitions (TLT) speciication language developed at Siemens Corporate Research. A system is deened by a conventional mathematical model for a dynamic system where application speciic states denote funct...
متن کاملEvaluation of Open Source Operating Systems for Safety-Critical Applications
Today many embedded applications will have to handle multitasking with real-time time constraints and the solution for handling multitasking is to use a real-time operating system for scheduling and managing the real-time tasks. There are many different open source real-time operating systems available and the use of open source software for safety-critical applications is considered highly int...
متن کاملOperating Systems for Safety - Critical Applications
Areas of computer applications are far wider than what people normally imagine. Besides the visible applications like word processing and the Internet access using your desktop computer, computer applications cover a vast spectrum of areas, from nuclear reactor and aircraft control systems, to vehicle antilock brake systems (ABS) and electronic toys like play stations. Some of these application...
متن کاملScheduling and timing analysis for safety critical real-time systems
The scheduling of tasks in safety critical systems such that the timing requirements are reliably met is often di cult. Safety critical systems are di erent to other systems because a failure to meet a requirement may lead to a catastrophic e ect, for example an accident leading to loss of life. For this reason, there is a greater emphasis on veri cation and validation of software than with oth...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Korea Academia-Industrial cooperation Society
سال: 2010
ISSN: 1975-4701
DOI: 10.5762/kais.2010.11.10.3885